gru lean compilation